High-level Petri Nets for a Model of Organizational Decision Making
نویسندگان
چکیده
This paper introduces a new direction in formalizing sociological models. Sociological theories are a field of application for computer science, hence sociologists describe a theory in informal ways. These theories are transformed into computational models which can be studied and investigated with formal methods. We have chosen to formalize a common model of sociological theory, the Garbage Can Model of Organizational Choice. This model refers to organizations as organized anarchies. Bounded rationality leads to ambiguous decision situations. Colored Petri nets offer formal semantics, graphical representation, means to model concurrency, and immediate executability and, thus, seem to be well suited to present complex sociological dependencies. Our approach uses a special formalism of high-level Petri nets, called Reference nets, which is applicable to present the individual parts of the model. By the executable Petri net model of the Garbage Can theory, central notions like concurrency, conflict, and confusion – known in the Petri net theory – could be directly expressed and presented to sociologists and lead to new insights to some underlying concepts of this sociological theory.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کامل